: phi ( -- phi ) 1.61803398874989484820 ; inline
: pi ( -- pi ) 3.14159265358979323846 ; inline
: 2pi ( -- pi ) 2 pi * ; inline
-: 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