This is a so useful number encoding !