https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69101
--- Comment #6 from kargl at gcc dot gnu.org --- (In reply to Francois-Xavier Coudert from comment #5) > (In reply to Jerry DeLisle from comment #4) > > I was looking at this yesterday. It is implemented in ieee_arithmetic.F90 > > and I think can be done with generic type bound procedures. > > There's also a simplifier for the compile-time version. See comment 3. The simplifier is fairly easy to rewrite; although it does take some time to work out the semantics of keyword usage. > > According to > > the comment in the code, the ieee_arithmetic.F90 file is generated, but it > > is not clear to me where the generation of the .F90 is specified. > > It is not automatically generated. I believe that one should force type conversion in external_spec_function. All valid values fit in a REAL(4). The only problem might be integer wrap-around semantics.