Q1) I saw the thread that you shared but it means that we will have to store the expression, evaluate it and then handle the value. something like - double temp = <entire expression>; if (temp==int(temp)){....} Q2) So if i understand correctly, the expectation is that runml.c should compile the translated code using "cc -std=c11 -Wall -Werror -o runml runml.c"? Q3) One related question, ml can have code like this - x <- 3 function add a return a+5 add(x) function multiply b return b*5 multiply(x) print x I can keep first line outside main function (global variable), and then parse entire ml code find all functions and then move them to the top (outside main) in translated code. any suggestions, or can we assume that all the functions in ml language will be declared first (ahead of other expressions/statements)?