Added real->int convertion in ast genrtlil
Implemented basic real arithmetic