Generate `numeric_limits` for floating-point types from `__fp_xxx` values

Currently, we define `numeric_limits` for each floating point type separately. We should replace this by a single generic definition which should be implemented using our extended floating point infrastructure (`__fp_xxx` functions and values in `` header).