(IEEEDPFix -30 8 9)
(IEEEDPFlt -36 8)
(IEEEDPCmp -42 8 9 10 11)
(IEEEDPTst -48 8 9)
(IEEEDPAbs -54 8 9)
(IEEEDPNeg -60 8 9)
(IEEEDPAdd -66 8 9 10 11)
(IEEEDPSub -72 8 9 10 11)
(IEEEDPMul -78 8 9 10 11)
(IEEEDPDiv -84 8 9 10 11)
(IEEEDPFloor -90 8 9)
(IEEEDPCeil -96 8 9)
