i64 == max(0.5)
