Too late to edit now, but the floating point standard actually specifies that this is what abs should do.