bugfix: FixPoint-Type is also counted as number