progress on float and int casting
tentatively through semantic checking and SAST