type(f64 + 0.5)
