Floating-point coprocessor