Change how extended type numbers are stored

Instead of storing number directly, store $number - 7.