Tags: factoring, conversions, Punxsutawney Phil, integer, lava flow,