What is `T<:Float64` for?  Since `Float64` is a concrete type, how is it possible `T` to be anything but `Float64`?