-: epsilon ( -- epsilon ) HEX: 3cb0000000000000 bits>double ; foldable
-: single-epsilon ( -- epsilon ) HEX: 34000000 bits>float ; foldable
-: smallest-float ( -- x ) HEX: 1 bits>double ; foldable
-: largest-float ( -- x ) HEX: 7fefffffffffffff bits>double ; foldable
+: epsilon ( -- epsilon ) 0x3cb0000000000000 bits>double ; foldable
+: single-epsilon ( -- epsilon ) 0x34000000 bits>float ; foldable
+: smallest-float ( -- x ) 0x1 bits>double ; foldable
+: largest-float ( -- x ) 0x7fefffffffffffff bits>double ; foldable