Base substitution at posit