Change memory resource to be uint64

Just an idea to change the host memory to be uint64.

Currently we used float64 for the memory (which I think doesn't make sense), which leads to a lot of unnecessary casting.

@peterbourgon @jmyounker