Using the Casting Technique to Have JavaScript Treat a String as a Number