machine number

[ریاضیات] عدد ماشینی