Updated WKBReader to read several double values at a time