Type defaults
With !292 (merged) two new type specifications will be introduced. These concern the typing of numbers. For users, it might get complicated how to set these. Thus, good defaults should be deployed in order to make users set the type as rare as possible.