div(1, 1) > i64
