Vincenzo
is this to restore reproducibility or some other reason?
I recall you changed all not-directly-persisted members to float at some point.