20.12.2016, 11:51
The + operator calls floatadd in the background when applied to floating point numbers. See float.inc for that. I don't know why anyone would prefer to use the function because it's longer to type and less straightforward.