yui/yui3 — pull request #1170 by okuryu (2013-09-07 13:51:08+00:00)
Title: [YUI] Change data type from Int to Number

Fix data type because we should use Number instead of Int on the our API documents and JavaScript world.