when the args are. Put tight bounds on the SIN, COS result types. Some of the other functions could use bounds.