Round whole numbers to a given place (#777)