Rollup merge of #136915 - eyelash:float-precision, r=workingjubilee
documentation fix: `f16` and `f128` are not double-precision
This commit is contained in:
commit
b179734bda
documentation fix: `f16` and `f128` are not double-precision