k3new: change int_of_real to truncate