floating point library written by Steve Woz.