extended precision hazards

[Samuel A. Figueroa]

I am not very familiar with Java, but I wonder if it would be helpful to have
something like a pragma to mark sections of code where use of wider precision
would not cause any hardships (and perhaps even be welcome).  In some
languages, language processors are allowed to ignore pragmas they don't
understand.  (Alternatively, pragmas could be embedded in comments.)
I suspect, though (without having supporting facts), that for an expert in
numerical programming, it would be easier to write code if it were only
necessary to mark sections of code where Java semantics were absolutely
essential.