change number field element type to 'number' (still has to be discussed...

change number field element type to 'number' (still has to be discussed whether we want this in master)
1 job for typed-task-editor in 6 minutes and 29 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Test
passed #58390
test

00:06:29