let boolean_of_int  v = boolean_of_integer v