Issue #7028: Add note to hex() builtin docs pointing to float.hex().