0.5 + i64 == i32
