definition module fpu;

test_fpu :: !.a -> (!Bool,!.a);
fix_fpu :: !.a -> .a;