# Pastebin 8YlCfZM7
    let y: Number =  I64(1)
    let x = match y
    | let n: U64 => n - 1
    end