tree a08a8692046dfb3a69bbf5865f9bb97d57303ac5
parent 12dc175ad636c39f8db946a8730436a561a31d5a
author Logan Chien <loganchien@google.com> 1324980657 +0800
committer Shih-wei Liao <sliao@google.com> 1329456211 -0800

Implement floating-point extension.

Change-Id: I2fdbe596ec225d1b5a6f57c78dbc67b4ac486360