Remove WriteInt32ToHeapNumberStub. Use ConvertToDoubleStub instead.