Module cast_string_to_uint64

Source