Roundtrip numeric types, more progress