Man pages matching name as_float in section 0x3f800000: