Floating-point support for GAP