mixed-precision-rk