i64 > 0.5 * 1
