fpaRoundTowardPositive top-level property

NullaryOp get fpaRoundTowardPositive

Implementation

NullaryOp get fpaRoundTowardPositive => fpaRtp;