adding some 64bit variants in int_util
adding sha512 with 224 and 256 variants