Switched wholly over to u64_from_le_bytes