64-bit resolution (#31).