456 converted to float is: 456
456 converted to int is: 456
123 < 456
78 < 123
78 < 123
therefore, as expected,
Output for 8.3.5
Warning: PHP Startup: Unable to load dynamic library 'sodium.so' (tried: /usr/lib/php/8.3.5/modules/sodium.so (libsodium.so.23: cannot open shared object file: No such file or directory), /usr/lib/php/8.3.5/modules/sodium.so.so (/usr/lib/php/8.3.5/modules/sodium.so.so: cannot open shared object file: No such file or directory)) in Unknown on line 0
456 converted to float is: 456
456 converted to int is: 456
123 < 456
78 < 123
78 < 123
therefore, as expected,