3 ms·There is huge number of 64bit floats and huge portion of those are between 0..pi/2.by zokier 3y agoThere is huge number of 64bit floats and huge portion of those are between 0..pi/2.