formal number