@staticfloat : SHA.jl