Moscow MLの浮動小数点数除算のバグ

Moscow MLではrealを0.0で割るとDiv例外を投げる。

Moscow ML version 2.10
Enter `quit();' to quit.
- 1.0 / 0.0;
! Uncaught exception:
! Div
- 0.0 / 0.0;
! Uncaught exception:
! Div

これは本来InfとNaNになるべきもののはずだ。

Standard ML of New Jersey v110.74 [built: Mon Oct 29 11:48:41 2012]
- 1.0 / 0.0;
val it = inf : real
- 0.0 / 0.0;
val it = nan : real