Also cast the button for is_mouse_button_released