let n0 = FloatLiteral { value: 1 } in g7;