translateExpression scope _ nsid (L1.L1ExLiteralReal ss units rv) =
  L2.L2ExLiteralReal ss
    <$> translateUnitExpression scope ss nsid units
    <*> (pure rv)
translateExpression scope _ nsid (L1.L1ExLiteralReal ss units rv) =
  L2.L2ExLiteralReal ss
    <$> translateUnitExpression scope ss nsid units
    <*> (pure rv)
translateExpression scope _ nsid (L1.L1ExLiteralReal ss units rv) =
  L2.L2ExLiteralReal ss
    <$> translateUnitExpression scope ss nsid units
    <*> (pure rv)