Floating-point processor