Implement std.mtof