Square root of 16