Fix processing of double vararg arguments on 32 bit platforms.