(using `from_str::<u64>(...)` if type inference does work out that it needs a `u64`, but I imagine it works fine here.)