END K 1 # V 16 dir _3up.0.t26-t K 7 epsilon V 16 dir _3ur.0.t26-t K 9 is-finite V 16 dir _3us.0.t26-t K 10 is-integer V 16 dir _3ut.0.t26-t K 6 is-nan V 16 dir _3uu.0.t26-t K 15 is-safe-integer V 16 dir _3uv.0.t26-t K 16 max-safe-integer V 16 dir _3uw.0.t26-t K 16 min-safe-integer V 16 dir _3ux.0.t26-t