Strange AST Produced with certain extensions and Numeric literals

[merc1031]

There are a few issues with extended numeric literals i have seen when poking around floskell Which uses HSE
Ill try to capture these below

HexFloatLiterals produce a series of InifixApp and QVarOp, which ends up being ambiguous
They both produce the following (cleaned up for visibility)
Both f 0xF . FFp12 and f 0xF.FFp12 (with -XHexFloatLiterals, ghci and ghc turn this one into a Float)
produce

InfixApp
  ( App
      ( Var
          ( UnQual
              ( Ident
                 "f"
              )
          )
      )
      ( Lit
          ( Int
              15 "0xF"
          )
      )
  )
  ( QVarOp
      ( UnQual
          ( Symbol
              "."
          )
      )
  )
  ( Con
      ( UnQual
          ( Ident
             "FFp12"
          )
      )
  )

NumericUnderscores produce 2 different issues.
The first, simpler issue:
It splits the int on the first _ and produces an App
3_000
produces

( App
    ( Lit
        ( Int
            3 "3"
        )
    )
    ( Var
        ( UnQual
            ( Ident
                "_000"
            )
        )
    )
)

The second more broken issue is combined with exponent syntax:
It splits the int on the first _ and produces an App followed by a QVarOp +
6.022_140_857e+23
produces

InfixApp
    ( App
        ( Lit
            ( Frac
                ( 3011 % 500 ) "6.022"
            )
        )
        ( Var
            ( UnQual
                ( Ident
                    "_140_857e"
                )
            )
        )
    )
    ( QVarOp
        ( UnQual
            ( Symbol
                "+"
            )
        )
    )
    ( Lit
        ( Int
            23 "23"
        )
    )
)