: inf 1.0 0.0 / ;
: -inf inf neg ;
: inf? abs inf = ;