For all operations permissible on fixed-point types, including those exclusive to them (e.g., rescale), an exact operation should exist. These infer their result types from the operand types.
[ ] base2.fixed.rescale
[ ] base2.fixed.align
[ ] base2.fixed.cmp ??? only if there is a more efficient algorithm then align + cmp
For all operations permissible on fixed-point types, including those exclusive to them (e.g., rescale), an exact operation should exist. These infer their result types from the operand types.
base2.fixed.rescalebase2.fixed.alignbase2.fixed.cmp??? only if there is a more efficient algorithm then align + cmpbase2.fixed.addbase2.fixed.subbase2.fixed.mulbase2.fixed.divbase2.fixed.mod??? underspecifiedCheck
FixedPointInterpreterfor more details.