Testing F# translator (arithmetic functions)