Support float gap exhaustion, in theory