More work on history, integer cast