[pups] BSD2.11 Floating Point Simulator