⎕size 'tx' 'x' 920 272 ii ← invert tt ← 1000⌿tx ⎕size 'tt' 'ii' 880040 55208 ÷/ ⎕size 'tt' 'ii' 15.9404