ok ? div : f64
