Use type punning and 64 bits registers for score.

This is an experimental branch to use type punning for scores. Non
functional change (at least in the number of nodes), and it could
easily be used on 32 bits machines too.