OTOH that leads to all kinds of cast ugliness all over the place, also for user code: `Double` is the default floating point in Scala.