get_move_number and get_halfmove_number