The problem this is solving is that PHP does not allow for array-keys to
be strings of ints. It always converts them to actual ints. This caused
a problem when trying to use complex array-options with integers as
keys.