Inverse de to_hex ?

[Stephane Bortzmeyer <bortzmeyer(at)nic(dot)fr>]

Je stocke des données numériques que j'ai souvent besoin de convertir
depuis et vers l'hexadécimal.

Vers l'hexa, c'est facile avec to_hex
(http://www.postgresql.org/docs/current/static/functions-string.html)
mais en sens inverse ? Je voudrais pouvoir écrire des trucs comme :

SELECT * FROM Machins WHERE foobar = to_number???(0x07DC);