TI-BASIC = is a tolerant comparison
Try 1+10^-12=1 on your calculator. These numbers are not represented equally ( 1+10^-12-1 gives 1E-12 ), but you will notice that the comparison returns true: because = has a certain tolerance. AFAICT from testing on my calculator, if the numbers are equal when rounding to ten significant digits, = will return true.
Secondarily
TI-BASIC uses its own BCD float format
TI floats are a BCD format that is nine bytes long, with one byte for sign and auxiliary information and 14 digits (7 bytes) of precision. The ninth byte is used for extra precision, so numbers can be rounded correctly.
See the source related to @doynax here for more details.
source share