lazy catch for float division