TypeError: 'float' object cannot be interpreted as an integer

[Pushpex]

In lines 393 and 399 in flashdevice.py
self.PageSize/2
results in count becoming a real, causing TypeError: 'float' object cannot be interpreted as an integer when reading the chip
I've changed it to
self.PageSize//2
and it runs fine