added function for conversion between 32 and 64 bits