Saline: Saturating Arithmetic in Crystal