i64 <= 0.5 - 1
