Fix another real to vpiIntVal conversion in the run time
Fix white space issue.