// Extracted from http://dev.w3.org/2006/webapi/WebIDL/ on 2011-05-06
interface Util {
  const boolean DEBUG = false;
  const short negative = -1;
  const octet LF = 10;
  const unsigned long BIT_MASK = 0x0000fc00;
  const float AVOGADRO = 6.022e23;
  const unrestricted float sobig = Infinity;
  const unrestricted double minusonedividedbyzero = -Infinity;
  const short notanumber = NaN;
};
