rounding モードが -infinity ならば、Default0() 関数は -0.0 を返し、そうでなければ +0.0 を返します。

DefaultOverflow() 関数はシステムにおける現在のデフォルトのオーバーフロー値を返します。デフォルトのオーバーフロー値は常に s * Float(infinity) です。

DefaultUnderflow() 関数はシステムにおける現在のデフォルトのアンダーフロー値を返します。そのデフォルトのアンダーフロー値は常に s * 0.0 です。

restart;
Default0();

DefaultUnderflow(1);

DefaultUnderflow(-1);

DefaultOverflow(1);