We can add tiny middle-layer module to optimize work with doubles and ignore all other types. Also maybe it is good idea to add extensions like you wrote earlier to the top level for doubles, since it is hard to invent something other than
RealContext
for them