law parse_f32_neg

bend-prot@0.1.0.0 · LAWS.bend:389

import Base
import bend-prot@0.1.0.0/pdb.bend as Pdb

389# Signs apply outside the magnitude.
390law parse_f32_neg:
391  {Pdb.parse_f32("-3.25") == Some{(0.0 - (U32.to_f32(3) + (U32.to_f32(25) / U32.to_f32(100) : F32) : F32) : F32)} : Maybe<&2, F32>}