Detect Numbers without annotations as Decimals
Consolidate multiple numeric types to the highest of them
Update TODOs