#include "pip.h"

int main(int argc, char * argv[]) {
	cout << PIString::fromDouble(1.25E+1).toFloat() << endl;
};