3 ms·
It means fixed-point arithmetic. Floating point in SMT doesn't work very well, so that's why they have this restriction.
by wsxcde 10y ago
It means fixed-point arithmetic. Floating point in SMT doesn't work very well, so that's why they have this restriction.