K 10 svn:author V 3 bde K 8 svn:date V 27 2008-01-19T22:50:50.000000Z K 7 svn:log V 290 Remove the float version of the kernel of arg reduction for pi/2, since it should never have existed and it has not been used for many years (floats are reduced faster using doubles). All relevant changes (just the workaround for broken assignment) have been merged to the double version. END