Re: Highest uint64

[Udiknedormin]

@monster I think the following is far nicer: 
    
    
    let yi = 2'u64 * cast[uint64](high(int64)) + 1'u64
    let yf = float64(yi)
    echo yi
    echo yi+1'u64
    echo yf