Not an expert for samd but I found this via Google:
#include <avr/dtostrf.h>
Sources:
dtostrf function not working in Arduino Zero - Hardware / Arduino Zero - Arduino Forum
Test sketch from (https://github.com/esp8266/Arduino/issues/6695)
#include <avr/dtostrf.h>
void setup() {
// put your setup code here, to run once:
Serial.begin(115200);
delay(1000);
Serial.println();
float f=1234.567;
char s[20]="";
dtostrf(f,8,3,s);
Serial.println(f);
Serial.println(s);
Serial.println();
}
void loop() {
// put your main code here, to run repeatedly:
}
Good luck!