Tính trước.
Giao dịch sau.

Tám máy tính thực dụng dùng số thập phân chính xác, dữ liệu nhập được kiểm tra và giới hạn mô hình rõ ràng.