checkExpr _ [] _ _ ty@(TyCon c) (Val s _ (NumFloat n)) | internalName c == "Float" = do
    let elaborated = Val s ty (NumFloat n)
    return ([], [], elaborated)
checkExpr _ [] _ _ ty@(TyCon c) (Val s _ (NumFloat n)) | internalName c == "Float" = do
    let elaborated = Val s ty (NumFloat n)
    return ([], [], elaborated)
checkExpr _ [] _ _ ty@(TyCon c) (Val s _ (NumFloat n)) | internalName c == "Float" = do
    let elaborated = Val s ty (NumFloat n)
    return ([], [], elaborated)