Upstream/master - Algumas correções importantes

Improved syntax at some points as fields and imports; fixed a biginteger test and added propper range values for integer fields. Setting the soil for some other updates.