ofp_time seconds 32->64 bit