Renamed int_of_real to truncate in k3 example files
travis: nope. Have to have sandboxes.