widenPrimitiveIfNecessary