Using infinte precision numbers and arithmetic in Lustre parsing and preprocessing