Update util.php

add getDecimal and decTo32bit