Use type punning and 64 bits registers for score