An HolZero porting in f#