Fixed some bugs in the PosSpec test, which sbt is not running currently, and
added a est and code for widening conversions from Pos to Int, Long, Float, Double,
Poz, LPoz, FPoz, and DPoz.
Merge remote-tracking branch 'upstream/master' into max-discarded-ratio