The JS reference implementation returns `Infinity` for `1/0`. The Java engine throws `D1001: Number out of range`.