Made __int__() return the correct type, i.e. int rather than double.
Made __int__() return the correct type, i.e. int rather than double.


BackupTheBerlios/gavrog,BackupTheBerlios/gavrog,BackupTheBerlios/gavrog,BackupTheBerlios/gavrog,BackupTheBerlios/gavrog