added Infinity.js