K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2012-04-08T09:38:20.217186Z
K 7
svn:log
V 54
Update the __aeabi_* floating point functions to work

END