There's not much we could do, and checking would add some performance overhead, so let the user check for the 0-case himself (the user has more context information so he would be able to do something more appropriate in this case).
The result will also be consistent with a normal float division by 0 (but with two floats), which users may expect.