forse con un eval si potrebbe riuscire a farli digerire a PHP come interi e poi fare l'or

ora ho da fare

poi magari ci penso