- lookup hexadecimal_x {
-
- sub [zero zero.zero] x' [@Digit @HexDigit] by x.multiply;
- sub [zero.tosf zero.zero.tosf zero.tosf.zero] x' [@DigitTosf @HexDigit] by x.multiply.tosf;
-
- sub @Digit x' @Digit by x.multiply;
- sub @DigitTosf x' @DigitTosf by x.multiply.tosf;
- } hexadecimal_x;
|