Merge "Update libm to the upstream head (2014.03.13)"