I didn't encounter any problems with this (and, notably, we don't cast this value as a string in DHCP migrations). So hopefully, it will stay that way.