I would use  `replace_with_integer'

indeed `replace_integer' sounds like .. replace this currently integer value with other value.
but at first this could be any value
so `replace_with_integer' sounds a better name for me.