dtostrf function not working in Arduino Zero

OK, here in the Zero forum I found the solution:
http://forum.arduino.cc/index.php?topic=368720.0

The link above shows a working dtostrf function for the Zero architecture. What I don´t understand is why this function is not included by default in the Arduino Zero core librarie.