max(f64, 1) == i32
