Add_menu_page breaking other plugins in 2.4.0

In the /elementor/includes/settings/settings.php file you have the following code starting line 73:

add_menu_page(
	__( 'Elementor', 'elementor' ),
	__( 'Elementor', 'elementor' ),
	'manage_options',
	self::PAGE_ID,
	[ $this, 'display_settings_page' ],
	'',
	58.5
);

The last argument (position) of the add_menu_page function should be an integer as can be found in the documentation:
https://developer.www.ads-software.com/reference/functions/add_menu_page/

Unfortunately as of version 2.4.0 you’re using 58.5 (not an integer) instead of the 99 you were using before.

This breaks other plugins (like our WP Recipe Maker plugin) using 58 as the position. If you change it to 58 having the same position doesn’t matter, but it has to be an integer.

Please fix ASAP as it’s very inconvenient for who knows how many plugins using that same position.