(/): Expect divison by an inexact zero to yield +inf.0.